A Calculational Derivation of the Casop Algorithm
نویسنده
چکیده
منابع مشابه
Building an IDE for the Calculational Derivation of Imperative Programs
In this paper, we describe an IDE called CAPS (Calculational Assistant for Programming from Specifications) for the interactive, calculational derivation of imperative programs. In building CAPS, our aim has been to make the IDE accessible to non-experts while retaining the overall flavor of the pen-and-paper calculational style. We discuss the overall architecture of the CAPS system, the main ...
متن کاملConservative Fixpoint Functions on a Graph
p.,d15 92/15-1 In this paper "'N8 present a derivation 01 a general solution Cor a class of' prograrnrning problems. In these problems a ["unction over the vertices of' a directed graph is to be cornputed. beIng def'ined as a least lixed point of' some rnonotonic operator. If' this operator satisf'ies a certain restriction w-ith respect to its Image lor a dlf'f'erent18i change In its argument. ...
متن کاملCASOP GS: Computing Intervention Strategies Targeted at Production Improvement in Genome-scale Metabolic Networks
Metabolic engineering aims to improve the production of desired biochemicals and proteins in organisms and therefore, plays a central role in Biotechnology. However, the design of overproducing strains is not straightforward due to the complexity of metabolic and regulatory networks. Thus, theoretical tools supporting the design of such strains have been developed. One particular method, CASOP,...
متن کاملCalculational Derivation of Pointer Algorithms from Tree Operations
We describe an approach to the derivation of correct algorithms on tree-based pointer structures. The approach is based on enriching trees in a way that allows us to model commonly-used pointer manipulations on tree structures. We provide rules which allow recursive functions on trees to be transformed into imperative algorithms on enriched trees. In addition, we provide rules which allow algor...
متن کاملAutomated Theorem Prover Assisted Program Calculations
Calculational Style of Programming, while very appealing, has several practical difficulties when done manually. Due to the large number of proofs involved, the derivations can be cumbersome and errorprone. To address these issues, we have developed automated theorem provers assisted program and formula transformation rules, which when coupled with the ability to extract context of a subformula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Process. Lett.
دوره 36 شماره
صفحات -
تاریخ انتشار 1990